This dataset provides supplementary material on the submission “Early timing analysis based on scenario requirements and platform models” to the SoSyM theme issue on Model-Driven Requirements Engineering. It provides software and models for illustrating the paper's example application results as well as more detailed evaluation data. MSD-CCSL-TimingAnalysis.zip contains our approach and encompasses the following artifacts (Java 8 and not later required; if needed modify the GemocStudio.ini and point the vm to a corresponding Java version via "-vm \jre\bin"): Development workspace: ECL specification under /de.fraunhofer.iem.swt.msd.tam.dse/ecl/MSDLanguage.ecl MoCCML constraints under /de.fraunhofer.iem.swt.msd.tam.mocc/mocc/MSDLang...
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit [...
This thesis introduces TimedUCM (Timed Use Case Maps), an extension of the current UCM (Use Case Map...
The complexity of software running on vehicular embedded systems is constantly increasing and this ...
This dataset provides supplementary material on the submission “Early timing analysis based on scena...
This dataset provides supplementary material on the submission “Early timing analysis based on scena...
<p>This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-...
This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-bas...
This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-bas...
This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-bas...
International audienceDistributed, software-intensive systems (e.g., in the automotive sector) must ...
Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication ...
Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication ...
Timing diagrams provide an intuitive graphical specification for time constraints and causal depende...
TIMMO Project aimed to develop a Domain specific Modeling language for handling timing information w...
International audienceThis extended abstract summarizes our article [ HDF22], published in the Journ...
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit [...
This thesis introduces TimedUCM (Timed Use Case Maps), an extension of the current UCM (Use Case Map...
The complexity of software running on vehicular embedded systems is constantly increasing and this ...
This dataset provides supplementary material on the submission “Early timing analysis based on scena...
This dataset provides supplementary material on the submission “Early timing analysis based on scena...
<p>This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-...
This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-bas...
This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-bas...
This supplementary material on the MODELS'18 submission “Early Timing Analysis based on Scenario-bas...
International audienceDistributed, software-intensive systems (e.g., in the automotive sector) must ...
Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication ...
Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication ...
Timing diagrams provide an intuitive graphical specification for time constraints and causal depende...
TIMMO Project aimed to develop a Domain specific Modeling language for handling timing information w...
International audienceThis extended abstract summarizes our article [ HDF22], published in the Journ...
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit [...
This thesis introduces TimedUCM (Timed Use Case Maps), an extension of the current UCM (Use Case Map...
The complexity of software running on vehicular embedded systems is constantly increasing and this ...